A note on Dilworth’s embedding theorem
نویسندگان
چکیده
منابع مشابه
A Note on Dilworth's Embedding Theorem
The dimension of a poset X is the smallest positive integer t for which there exists an embedding of X in the cartesian product of t chains. R. P. Dilworth proved that the dimension of a distributive lattice v L = 2_ is the width of X. In this paper we derive an analogous result for embedding distributive lattices in the cartesian product of chains of bounded length. We prove that for each k > ...
متن کاملA note on spectral mapping theorem
This paper aims to present the well-known spectral mapping theorem for multi-variable functions.
متن کاملFully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem
We present two fully mechanized proofs of Dilworth’s and Mirsky’s theorems in the Coq proof assistant. Dilworth’s Theorem states that in any finite partially ordered set (poset), the size of a smallest chain cover and a largest antichain are the same. Mirsky’s Theorem is a dual of Dilworth’s Theorem. We formalize the proofs by Perles [2] (for Dilworth’s Theorem) and by Mirsky [5] (for the dual ...
متن کاملA Note on Embedding Hypertrees
A classical result from graph theory is that every graph with chromatic number χ > t contains a subgraph with all degrees at least t, and therefore contains a copy of every t-edge tree. Bohman, Frieze, and Mubayi recently posed this problem for r-uniform hypergraphs. An r-tree is an runiform hypergraph with no pair of edges intersecting in more than one vertex, and no sequence of distinct verti...
متن کاملEffects of Directional Subdividing on adaptive Grid-Embedding (RESEARCH NOTE)
The effects of using both directions and directional subdividing on adaptive gridembedding on the computational time and the number of grid points required for the same accuracy are considered. Directional subdividing is used from the beginning of the adaptation procedure without any restriction. To avoid the complication of unstructured grid, the semi-structured grid was used. It is used to so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1975
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1975-0373988-0